first($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\neg_{b}$isl(${\it pred?}$($e$))